An Equational Theory for Transa tions ?

نویسنده

  • Martin Odersky
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Process Migration and Transactions Using a Novel Intermediate Language

Pro ess migration and atomi transa tions are essential tools for onstru ting fault-tolerant distributed systems. We present a new system that in ludes a typed intermediate language and runtime implementation designed to support these servi es. The language is type-safe and general enough to support front-ends for both type-safe and unsafe languages. We in lude ben hmarks for programs written in...

متن کامل

FUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES

In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...

متن کامل

An Equational Metalogic for Monadic Equational Systems

The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences. Relating the two, a canonical model theory for Monadic Equational S...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003